div.code-general {
	white-space: pre-line;
	font-family: "Lucida Console", Monaco, monospace;
	border:1px solid black;
	margin:10px;
	padding:5px;
}

div.code-general {
	white-space: pre-line;
	font-family: "Lucida Console", Monaco, monospace;
	border:1px solid black;
	margin:10px;
	padding:5px;
}

div.code-title {
}
